A Framework for Open Mechanized Legal Reasoning
نویسنده
چکیده
We build on the analogy between theorem proving and legal reasoning. In the former case it was shown that mechanized reasoning is always achieved provided there is a theory, a control on this theory and some rules governing this controlled theory once introduced in a given environment. We show that it is possible to identify similar conditions for cognitive systems and also in the legal world. We outline how this can be illustrated in the case of publication rights. We propose a social network approach to improve some features of the management of publication
منابع مشابه
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
ion-Based Information Technology: A Framework for Open Mechanized Reasoning.
متن کاملMechanized Reasoning Systems : a Preliminary Report ?
It is widely recognised that the integration of diierent (sub)-provers is a key issue in the construction of reasoning tools of practical usage. Unfortunately experience shows that eeective integration is very diicult to achieve. The Open Mechanized Reasoning Systems (OMRS) Project started in 1992 with the objective to design a formal framework for the speciication of state-of-the-art provers. ...
متن کاملSpecification and Integration of Theorem Provers and Computer Algebra Systems
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each...
متن کاملMechanized Reasoning for Continuous Problem Domains
Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...
متن کاملSpeciication and Integration of Theorem Provers and Computer Algebra Systems
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on ee-ciently solving domain-speciic problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each c...
متن کامل